VeriEvol: Scaling Multimodal Mathematical Reasoning via Verifiable Evol-Instruct
VeriEvol：通过可验证进化指令扩展多模态数学推理
🧭 多模态推理数据的可控扩展与验证
Tsinghua University · Tencent Hunyuan
将多模态数学推理的数据扩展解耦为题目难度进化与答案可靠性验证，通过假设检验验证器保证标签质量
📌 工作参考价值（4 点）
- 在生成式推荐训练中，可借鉴“进化指令”思想，通过特定操作（如替换属性、增加约束）从简单样本演化出难例，提升模型对复杂 query 的泛化能力。
- HTV-Agent 的假设检验验证机制可用于 Agent 决策的可信度评估：在推荐解释生成或用户意图理解时，利用多源证据交叉验证，拒绝不可靠输出。
- 数据规模与标签可靠性解耦的方法可用于构建高质量训练集：先通过进化生成多样性数据，再用验证器过滤噪声标签，提升 RL 训练稳定性。
- 对于 Agent 系统，可设计类似离线验证管道，在部署前对规划或建议进行多轮反证，增强安全性和可靠性。